じゆうへんこう

じゆうへんこう【自由変項】

〔free variable〕

述語論理の論理式の中で量記号の作用を受けていない変項。